automata network中文是什么意思

发音:

中文翻译
造句

自动机网络

automata n. automaton 的复数。
abstract automata 抽象自动机
array automata 阵列自动机
automata automaton 的复数
automata causality 自动机因果律
automata classification 自动机分类
automata size 自动机规模
automata theory 有限自动机; 自动机理论
celuller automata 胞自计机
classification of automata 自动机分类
combination of automata 自动机组合
discrete automata 离散自动机
finite automata 有限时序机
fuzzy automata 模糊自动机
infinite automata 无限自动机
optimality of automata 自动机的最佳性; 自动机的最优性
picture automata 图片自动机
probabilistic automata 随机自动机
probabillistic automata 随机自动机
pushdown automata 后进先出自动机; 下推自动机
ranking of automata 自动机的秩评定
scope of automata 自动机作用域
state of automata 自动机状态
target automata 目标自动机
theory of automata 自动机理论

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

A widely used method for checking real-time systems is, according to the real-time property to be checked, to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space . the algorithm needs only to explore the finite space to get a correct answer . in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases . in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real-time automata, satisfies a linear duration property . to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ) . based on these two relations, an algorithm is proposed to check whether a real-time automaton network satisfies a linear duration property . the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature
一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时，还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率

推荐英语阅读

automata network的中文翻译，automata network是什么意思，怎么用汉语翻译automata network，automata network的中文意思，automata network的中文，automata network in Chinese，automata network的中文，automata network怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Sun, 10 Aug 2025 00:29:56 GMT